Shanghai University of Science and Technology

Results: 34



#Item
1

KRust: A Formal Executable Semantics of Rust Feng Wang∗ , Fu Song∗ , Min Zhang† , Xiaoran Zhu† and Jun Zhang∗ ∗ School † Shanghai of Information Science and Technology, ShanghaiTech University, Shanghai, C

Add to Reading List

Source URL: sist.shanghaitech.edu.cn

Language: English - Date: 2018-07-06 22:20:16
    2

    On Context Bisimulation for Parameterized Higher-order Processes Xian Xu ∗ Department of Computer Science and Technology East China University of Science and Technology, Shanghai, China P.Rc

    Add to Reading List

    Source URL: www.cs.unibo.it

    - Date: 2013-06-01 06:22:49
      3Public universities / Denmark / Scandinavia / Ministry of Science /  Innovation and Higher Education / University of Copenhagen / Aarhus University / Aarhus / KEA  Copenhagen School of Design and Technology / Index of Denmark-related articles

      DENMARK – SMALL IN SIZE BIG IN THINKING CHINA EDUCATION EXPO 31 OCTOBER, 2015 NINA ESPEGÅRD HASSEL, CONSUL OF INNOVATION INNOVATION CENTRE DENMARK, SHANGHAI

      Add to Reading List

      Source URL: www.ehef.asia

      Language: English - Date: 2016-01-05 07:27:52
      4Project 211 / Project 985 / C9 League / Shanghai University / Nanjing University / Huazhong University of Science and Technology / China / Shanghai Jiao Tong University

      Microsoft Word - cis04-program.doc

      Add to Reading List

      Source URL: cs.engr.uky.edu

      Language: English - Date: 2004-11-28 19:53:37
      5Public universities / Denmark / Scandinavia / Ministry of Science /  Innovation and Higher Education / University of Copenhagen / Aarhus University / Aarhus / KEA  Copenhagen School of Design and Technology / Index of Denmark-related articles

      DENMARK – SMALL IN SIZE BIG IN THINKING CHINA EDUCATION EXPO 24 OCTOBER, 2015 NINA ESPEGÅRD HASSEL, CONSUL OF INNOVATION INNOVATION CENTRE DENMARK, SHANGHAI

      Add to Reading List

      Source URL: www.ehef.asia

      Language: English - Date: 2016-01-05 06:28:08
      6

      Effective Online Knowledge Graph Fusion? Haofen Wang1 , Zhijia Fang1 , Le Zhang1 , Jeff Z. Pan2 , and Tong Ruan1 1 East China University of Science and Technology, Shanghai, 200237, China 2

      Add to Reading List

      Source URL: iswc2015.semanticweb.org

      Language: English - Date: 2015-09-30 15:14:05
        7

        Opportunities for AI in Intelligent Web-based Technology-Supported Learning Carsten Ullrich, Jian Wang, Ruimin Shen The Department of Computer Science and Engineering, Shanghai Jiaotong University, Shanghai, China

        Add to Reading List

        Source URL: www.carstenullrich.net

        Language: English - Date: 2011-10-21 23:53:42
          8Hong Kong University of Science and Technology / Federal Reserve System / Washington University in St. Louis / Columbia University / Higher education / Academia / United States / Association of American Universities / Federal Reserve Board of Governors / Federal Reserve Bank

          Microsoft Word - FIRS Shanghai Agenda.doc

          Add to Reading List

          Source URL: fic.wharton.upenn.edu

          Language: English - Date: 2006-09-08 11:22:58
          9North West England / Liverpool / China–Britain Business Council / Shanghai / International Mayor Communication Centre / Joe Anderson / University of Shanghai for Science and Technology / Association of Commonwealth Universities / Local government in the United Kingdom / Local government in England

          It’s Liverpool in China Partnership BUSINESS DIRECTORY

          Add to Reading List

          Source URL: www.liverpoolvision.co.uk

          Language: English - Date: 2015-05-19 05:22:39
          10Tai Po Tsai / Hong Kong Computer Society / HSBC / The Hongkong and Shanghai Banking Corporation / HKUST Business School / Index of Hong Kong-related articles / Executive Council of Hong Kong / Hong Kong / Hong Kong University of Science and Technology / Sai Kung District

          MScISM Luncheon Seminar Dept of Information Systems, Business Statistics & Operations Management HKUST Business School Successful IT Leadership in a Global Organization Date:

          Add to Reading List

          Source URL: www.bm.ust.hk

          Language: English - Date: 2012-11-13 21:04:00
          UPDATE